منطق پیوسته و محاسبات احتمالاتی
thesis
- وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
- author داوود عبدی
- adviser سیدمحمد باقری
- Number of pages: First 15 pages
- publication year 1391
abstract
چکیده منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود ) و منطق پیوسته ارتباط نزدیک و مشابهی دارند. پیامد اصلی این پایان نامه این است که هر نظریه ی مرتبه اول پیوسته ی تصمیم پذیر یک مدل به طور احتمالی تصمیم پذیر دارد. همچنین نشان می دهیم که ساختارهای به طور احتمالی محاسبه پذیر، در یک زمینه ی مناسب، مدلی از aca0 را ارائه می کنند.
similar resources
منطق پیوسته
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از ر...
full textبررسی محاسبات دستگاههای تعویض خط جوشکاری شده پیوسته راه آهن
دستگاههای تعویض خط پیوسته برای خطوط جوشکاری شده طویل خصوصاً هنگام عبور از ایستگاه راه آهن بسیار مهم است. براساس نظریه های مقاومت معادل و مقاومت غیر خطی و اصول توزیع نیرو در دستگاه تعویض خط، روش نظری جدیدی برای محاسبات مربوط به آنها در خطوط پیوسته توسعه داده شده است. طراحی دستگاه تعویض خط پیوسته و نصب آن بر اساس محاسبات نظری روش جدید تطابق بسیار خوبی با موارد واقعی دارد. بر اساس محاسبات نظری و دا...
full textتمامیت در منطق پیوسته
منطق پیوسته گسترشی از منطق مرتبه ی اول می باشد که برای مطالعه ی ساختارهای جبری مجهز به یک متریک طراحی شده است. منطق پیوسته بر مبنای فضای متریک، از نظر صورت بندی شباهت بسیار با منطق مرتبه اول دارد. هدف از این پایان نامه بررسی قضیه ی تمامیت در این منطق می باشد. صورت مرتبه اول این قضیه بیان می کند که جمله ای برهان پذیر است اگروتنها اگر خرسندپذیر باشد. صورت منطق پیوسته این قضیه تفاوت هایی با صورت ...
15 صفحه اولمحاسبات تعادلی در ترمودینامیک پیوسته
این واقعیت انکارناپذیراست که مرکزیت ترمودینامیک کلاسیک ، براساس اجزای متجزا می باشد و الگوریتم های محاسباتی موجود، نمی توانند قابل کارکرد به سیستم های پیوسته با تعدادی اجزای بسیار زیاد باشند. در این پروژه براساس ترمودینامیک گیبسین و فرآیند حدگیری، جهت حل محاسبات تعادلی در سیستم های کاملا پیوسته، سه الگوریتم : -1 مینیمم سازی مستقیم تابع گیبس کل -2 تساوی توابع مولد پتانسیل شیمیایی -3 استفاده از ن...
قضیه هربراند برای منطق پیوسته
ما قضیه هربراند را در چارچوب منطق پیوسته ثابت می کنیم. صرف نظر از جزئیات، قضیه هربراند منطق مرتبه اول را به منطق گزاره ای فرو می کاهد. ما روی یک حالت خاص که معمولاً با ابزار ساده مدل تئوریک ثابت می شود، تمرکز می کنیم. در حالت مرتبه اول، قضیه هربراند کاربردهای مهمی در اندازه های موتیویک دارد که در آن یک مشخص سازی از تابع های تعریف پذیر مورد نیاز است. در این پایان نامه، یک حالت منطق پیوسته از قضی...
15 صفحه اولارزیابی پیوسته و احتمالاتی پیش‌بینی‌های بلندمدت بارش مدل‌های همادی آمریکای شمالی (مطالعه موردی: حوضه آبریز سد کرخه)
در دهه‌های اخیر قابلیت پیش‌بینی‌های هواشناسی به دلیل توسعه شهری و تغییر‌اقلیم به امری مهم در جوامع بشری تبدیل شده است. پیش‌بینی این متغیرها علاوه بر آگاهی دادن به بخش‌های گوناگون جامعه، نقش موثری را در تصمیم‌گیری و برنامه‌ریزی بهتر در زمینه‌های مختلف، نظیر مدیریت منابع آبی، ایفا می‌نمایند. امروزه در این حوزه، بکارگیری مدل‌های پیش‌بینی عددی وضع آب و هوا یکی از متداول‌ترین رویکردها به شمار می‌رون...
full textMy Resources
document type: thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت مدرس - دانشکده علوم ریاضی
Keywords
Hosted on Doprax cloud platform doprax.com
copyright © 2015-2023